/* Benchmarks for the PionterC verifier. */

// if statement

struct list
{
  int data;
  struct list* next;
};

/*@ */
void test_if()
{
  int* i, j;
  i = alloc(int);
  if (true)
  {  
    free(i);
  }
  else 
  {
    free(i);
  }
  *i = 99;
  return;
}
/*@  */
